Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·23h
📚Lempel-Ziv
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Railway Oriented Programming
🧬Functional Programming
Flag this post
[D] Why aren’t there more multimodal large foundation models out there? Especially in AI for science?
🎙️Whisper
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·16h
✨Effect Handlers
Flag this post
Loading...Loading more...